Determinization of transducers over finite and infinite words
نویسندگان
چکیده
منابع مشابه
The Strength of Safra’s Construction
Automata on Infinite Words. Automata running on infinite words (such as non-deterministic Büchi automata) provide an established framework for the specification and verification of nonterminating programs (in particular via the model checking technique). However, some of their basic properties are known to require non-trivial reasoning principles. This is most notably the case of closure under ...
متن کاملFinite State Transducers with Predicates and Identities
An extension to finite state transducers is presented, in which atomic symbols are replaced by arbitrary predicates over symbols. The extension is motivated by applications in natural language processing (but may be more widely applicable) as well as by the observation that transducers with predicates generally have fewer states and fewer transitions. Although the extension is fairly trivial fo...
متن کاملSixth Workshop on Non - Classical Models of Automata and Applications ( NCMA 2014 ) Short Papers
We generalize the models of visibly pushdown automata (VPDAs) and visibly pushdown transducers (VPDTs) by equipping them with reversal-bounded counters. We show that some of the results for VPDAs and VPDTs (e.g., closure under intersection and decidability of emptiness for VPDA languages) carry over to the generalized models, but other results (e.g., determinization and closure under complement...
متن کاملFinite-State Transducers
Finite-state transducers play an important role in natural language processing. They provide a model for text and speech, as well as transformations of them. In order to reduce the complexity of their application, deterministic and minimal transducers are required. This essay introduces a particular type of finite-state transducers, subsequential string-to-weight transducers, and presents algor...
متن کاملRamsey Goes Visibly Pushdown
Checking whether one formal language is included in another is vital to many verification tasks. In this paper, we provide solutions for checking the inclusion of the languages given by visibly pushdown automata over both finite and infinite words. Visibly pushdown automata are a richer automaton model than the classical finite-state automata, which allows one, e.g., to reason about the nesting...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 289 شماره
صفحات -
تاریخ انتشار 2002